#
# Trampoline OS
#
# Trampoline is copyright (c) IRCCyN 2005+
# Copyright ESEO for function and data structures documentation and ARM port
# Trampoline is protected by the French intellectual property law.
#
# This software is distributed under the Lesser GNU Public Licence
#
# Warning: This Makefile SHOULD not be called directly.
#          It is automatically called from the Makefile
#
# Trampoline OS
#
# Trampoline is copyright (c) IRCCyN 2005+
# Trampoline is protected by the French intellectual property law.
#
# This software is distributed under the Lesser GNU Public Licence
#
# $Date$
# $Rev$
# $Author$
# $URL$
#
# Warning: This Makefile SHOULD not be called directly.
#          It is automatically called from the Makefile
#          generated by goil.
#
#kernel OS architecture dependant files

SOURCES += \
apf27_bootstrap_stage1.S \
apf27_sleep.S \
apf27_vectors.c \
apf27_tpl_stubs.c \
apf27_bootstrap_stage2.c \
apf27_aitc.c \
apf27_irq.c \
apf27_mmu.c
